Variables
x4::[1,2,5..33]
x5::[1..10,50]
x6::[1..5,9,10]
x7::[1..5,10..15]
Constraints
x4<x5
x4=x6
x5>=x7
x6>x7
External Constraints
x4<x2
x7!=x9